Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
241	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
242	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
243	PDF Document Add to Reading List Source URL: www.journalof911studies.com Language: English - Date: 2007-11-19 14:47:31 Criminal law Doubt Critical thinking Evidence Legal burden of proof Proof Mathematical proof 9/11 conspiracy theories Osama bin Laden Reasonable doubt 9/11 Truth movement Dixon v. United States
244	Analogy, concepts and methodology in mathematics ∗ Timothy Porter† Ronnie Brown June 19, 2006 Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2006-06-19 16:45:10 Analogy Alexander Grothendieck Mathematical proof Function Infinity Mathematician Algebra Where Mathematics Comes From Mathematics Philosophy of mathematics The Unreasonable Effectiveness of Mathematics in the Natural Sciences
245	PDF Document Add to Reading List Source URL: www.learnroots.com Language: English Exponentiation Differential equation Function Mathematics Mathematical fallacy Proof theory
246	A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:24 General topology Set theory Subset Closure OCaml Mathematical proof Support Mathematics Topology Mathematical logic
247	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory
248	GHM-accreditation guidelines Add to Reading List Source URL: www.ghm.de Language: English - Date: 2014-10-17 10:22:24 Accreditation Knowledge Epistemology Mathematical logic Publishing Mathematical proof
249	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
250	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics

UPDATE